翻訳と辞書 Words near each other ・ Abu Ahmed al-Kuwaiti ・ Abstract Window Toolkit ・ Abstract-Type and Scheme-Definition Language ・ Abstracta ・ Abstracting electricity ・ Abstraction ・ Abstraction (art) ・ Abstraction (computer science) ・ Abstraction (disambiguation) ・ Abstraction (linguistics) ・ Abstraction (mathematics) ・ Abstraction (sociology) ・ Abstraction Games ・ Abstraction inversion ・ Abstraction layer ・ Abstraction model checking ・ Abstraction of transport/protocol connectivity ・ Abstraction principle ・ Abstraction principle (computer programming) ・ Abstraction principle (law) ・ Abstraction-Création ・ Abstraction-Filtration-Comparison test ・ Abstractionism ・ Abstractor of title ・ Abstrakt Algebra ・ Abstrakt Intellekt ・ Abstral ・ Abstrupus Danby ・ Absu ・ Absu (album) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Abstraction model checking ： ウィキペディア英語版 Abstraction model checking Abstraction Model checking is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a kind of translation to scaled down "abstract" version. The set of variables are partitioned into visible and invisible depending on their change of values. The real state space is summarized into a smaller set of the visible ones. ==Galois connected== The real and the abstract state spaces are Galois connected. This means that if we take an element from the abstract space, concretize it and abstract the concretized version, the result will be equal to the original. On the other hand, if you pick an element from the real space, abstract it and concretize the abstract version, the final result will be a super set of the original. That is, $\backslash eta$($\backslash theta$(abstract)) = abstract $\backslash theta$($\backslash eta$(real)) $\backslash supset$ real 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Abstraction model checking」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.